本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题. 附录中阐述了重演式的推理，并且论证了它与自然推理的关系. 第四至第六章是机器证明部分，主要描述与数理逻辑有关的机器证明问题.

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

本书面向所有对计算机科学感兴趣的读者，以浅显易懂的语言和简明扼要的形式介绍计算机科学领域的重要知识点，尽量少涉及学术概念，着力将抽象理论具体化，复杂问题简单化，既适合计算机专业技术人员查漏补缺基本理论，也适合普通读者了解计算思维。·

《计算机科学概论》是计算机科学概论课程的经典教材，全书对计算机科学做了百科全书式的精彩阐述，充分展现了计算机科学的历史背景、发展历程和新的技术趋势。《计算机科学概论》首先介绍的是信息编码及计算机体系结构的基本原理，进而讲述操作系统和组网及因特网，接着探讨算法、程序设计语言及软件工程，然后讨论数据抽象和数据库方面的问题，讲述图形学的一些主要应用以及人工智能，以计算理论的介绍结束全书。《计算机科学概论》在内容编排上由具体到抽象逐步推进，很适合教学安排，每一个主题自然而然地引导出下一个主题。此外，书中还包含大量的图、表和示例，有助于读者对知识的了解与把握。 第12版主要是将Python程序设计语言方面的介绍纳入了重点章节，除了增加与Python相关的内容，几乎每一章都能看到对前一版对应章节的修订、更新以及修正。

本书是大学计算机相关专业的基础课教材，涉及到计算机科学的各个方面。本书着重讲解基本概念而不是数学模型和技术细节，通过大量的图表和演示范例讲解计算机科学的基础知识；每章后面的关键术语、小结和练习有助于读者掌握和复习知识要点。 本书既适合当作大专院校的计算机基础课教材，也可作为一般的计算机基础入门读物。

本书由当今该领域备受赞誉且经验丰富的教育家Nell Dale和John Lewis共同编写，全面介绍计算机科学领域的基础知识，为广大学生勾勒了一幅生动的画卷。就整体而言，全书内容翔实、覆盖面广，旨在向读者展示计算机科学的全貌；从细节上看，本书层次清晰、描述生动，基于计算机系统的洋葱式结构，分别介绍信息层、硬件层、程序设计层、操作系统层、应用程序层和通信层，涉及计算机科学的各个层面。 本书贯穿了计算机系统的各个方面，非常适合作为计算机专业的计算机导论课程教材，为后续专业课程打下坚实的基础；同时还适合作为非计算机专业的计算机总论课程教材，提供计算机系统全面完整的介绍。

《计算机科学导论》是国外计算机等IT相关专业本科生的一本基础课教材，也是一本非常经典的计算机入门读物。作为一本百科全书式的计算机专业基础入门读物，书中涉及计算机科学的方方面面。虽然读者对象是计算机专业的学生，但这本书深入浅出，引人入胜，勾画出计算机科学体系的框架，为有志于IT行业的学生奠定计算机科学知识的基础，架设进一步深入专业理论学习的桥梁。

计算机科学的全景式展现。 首屈一指的导论性教材。 经典传承，新知荟萃。 被哈佛大学、加州大学等多所大学采用为教材。 本书多年来一直深受世界各国高校师生的欢迎，是哈佛大学、麻省理工学院、普林斯顿大学、加州大学伯克利分校等著名大学对应课程的首选教材，对我国的高校相关教学也产生了广泛的影响。本书以历史的眼光，从发展的角度、当前的技术水平以及现阶段的研究方向等几个方面，全景式描述了计算机科学各个子学科的主要研究领域。在内容编排上，本书用算法、数据抽象等核心思想贯穿各个主题，合理地兼顾了学科广度和主题深度，并且充分体现了各个主题的历史背景、发展历程和新的技术趋势，培养读者的大局观，为今后深入学习其他计算机专业课程打下坚实的基础。 ◎编辑推荐 本书深入浅出，图文并茂，内容由具体到抽象逐步推进。各章自然连贯又各自独立，可根据教学需要调整学习顺序。此外，本书习题丰富...(展开全部)

本书共分为10章。第1章为概述，第2章为数据表示与逻辑基础，第3章为计算机硬件，第4章为操作系统，第5章为算法基础，第6章为语言、程序和软件，第7章为数据库，第8章为网络，第9章为高级主题，第10章为信息社会。本书可以作为高等学校各专业学生“大学计算机基础”及相关课程的教材。